Topological and Logical Explorations of Krull Dimension
نویسندگان
چکیده
Krull dimension measures the depth of the spectrum Spec(R) of a commutative ring R. Since Spec(R) is a spectral space, Krull dimension can be defined for spectral spaces. Utilizing Stone duality, it can also be defined for distributive lattices. For an arbitrary topological space, the notion of Krull dimension is less useful. Isbell [23] remedied this by introducing the concept of graduated dimension. In this paper we propose an alternate concept, that of localic Krull dimension of a topological space, which has its roots in modal logic. This is done by investigating the concept of Krull dimension for closure algebras and Heyting algebras, which formalize the notions of powerset and open set algebras of topological spaces [30, 31, 35]. We compare localic Krull dimension to other well-known dimension functions, and show that it can detect topological differences between topological spaces that Krull dimension is unable to detect. We also investigate applications of localic Krull dimension to modal logic. We prove that for a T1-space to have a finite localic Krull dimension can be described by an appropriate generalization of the well-known concept of a nodec space. These considerations yield topological completeness and incompleteness results in modal logic that we examine in detail.
منابع مشابه
Krull Dimension in Modal Logic
We develop the theory of Krull dimension for S4-algebras and Heyting algebras. This leads to the concept of modal Krull dimension for topological spaces. We compare modal Krull dimension to other well-known dimension functions, and show that it can detect differences between topological spaces that Krull dimension is unable to detect. We prove that for a T1-space to have a finite modal Krull di...
متن کاملUpper bounds for noetherian dimension of all injective modules with Krull dimension
In this paper we give an upper bound for Noetherian dimension of all injective modules with Krull dimension on arbitrary rings. In particular, we also give an upper bound for Noetherian dimension of all Artinian modules on Noetherian duo rings.
متن کاملOn co-Noetherian dimension of rings
We define and studyco-Noetherian dimension of rings for which the injective envelopeof simple modules have finite Krull-dimension. This is a Moritainvariant dimension that measures how far the ring is from beingco-Noetherian. The co-Noetherian dimension of certain rings,including commutative rings, are determined. It is shown that the class ${mathcal W}_n$ of rings with co-Noetherian dimension...
متن کاملAn Observation on Krull and Derived Dimensions of Some Topological Lattices
Let (L, ≤), be an algebraic lattice. It is well-known that (L, ≤) with its topological structure is topologically scattered if and only if (L, ≤) is ordered scattered with respect to its algebraic structure. In this note we prove that, if L is a distributive algebraic lattice in which every element is the infimum of finitely many primes, then L has Krull-dimension if and only if L has derived d...
متن کامل